mathematical foundation for computer applications